首页> 外文OA文献 >Verifying floating-point programs with constraint programming and abstract interpretation techniques

【2h】

Verifying floating-point programs with constraint programming and abstract interpretation techniques

机译：使用约束编程和抽象解释技术验证浮点程序

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

http://link.springer.com/article/10.1007/s10515-014-0154-2

机译：HTTP://林肯.springer.com/article/10.1007/是10515-014-0154-2

著录项

作者
Ponsini, Olivier; Michel, Claude; Rueher, Michel;
展开▼
作者单位

展开▼
年度 2016
总页数
原文格式 PDF
正文语种 en
中图分类

相似文献

外文文献
中文文献
专利

1. Verifying floating-point programs with constraint programming and abstract interpretation techniques [J] . Olivier Ponsini, Claude Michel, Michel Rueher Automated software engineering . 2016,第2期

机译：使用约束编程和抽象解释技术验证浮点程序
2. Abstract interpretation based verification of logic programs [J] . Marco Comini, Roberta Gori, Giorgio Levi, Science of Computer Programming . 2003,第1a3期

机译：基于抽象解释的逻辑程序验证
3. Precise goal-independent abstract interpretation of constraint logic programs [J] . Peter Schachte Theoretical computer science . 2003,第3期

机译：约束逻辑程序的目标无关精确抽象解释
4. Combining Constraint Programming and Abstract Interpretation for Value Analysis of Floating-point Programs [C] . Ponsini Olivier Software Testing, Verification and Validation (ICST), 2012 IEEE Fifth International Conference on . 2012

机译：结合约束编程和抽象解释进行浮点程序的价值分析
5. A constraint-based approach to verification of programs with floating-point numbers. [D] . Acosta Zapien, Carlos Eduardo. 2007

机译：基于约束的方法来验证具有浮点数的程序。
6. Sources of selection bias in evaluating social programs: An interpretation of conventional measures and evidence on the effectiveness of matching as a program evaluation method [O] . James J. Heckman, Hidehiko Ichimura, Jeffrey Smith, 1996

机译：评估社会项目时选择偏见的来源：常规措施的解释和证据匹配作为程序评估方法的有效性：方法
7. Verifying floating-point programs with constraint programming and abstract interpretation techniques [O] . Ponsini Olivier, Michel Claude, Rueher Michel 2016

机译：使用约束编程和抽象解释技术验证浮点程序

Verifying floating-point programs with constraint programming and abstract interpretation techniques

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅